The Princeton University behavioral synthesis system - Design Automation Conference, 1992. Proceedings., 29th ACM/IEEE
نویسندگان
چکیده
The Princeton University Behavioral Synthesis System (PUBSS) is a high-level synthesis system targeted to control-dominated machines. PUBSS accepts a VHDL subset, in which the design can be described as multiple communicating processes plus registers, and generates a register-transfer implementation. This paper describes the compiler with emphasis on the automaton-based algorithms which allow efficient specification and manipulation of control-dominated systems.
منابع مشابه
Transformation-based high-level synthesis of fault-tolerant ASICs - Design Automation Conference, 1992. Proceedings., 29th ACM/IEEE
A s fault-tolemne becomes common in everyday applications (like computerized automobile control) where cost of design and time-to-market me crucial factors, software mechanisms for the automatic design of faulttolemnt ASIC5 merit immediate attention. A straightforward replication of a design is ezpensiue. In this paper, we present a transformation-bosed approach to the high-level synthesis of f...
متن کاملThe Electronic Design Interchange Format EDIF: present and future - Design Automation Conference, 1992. Proceedings., 29th ACM/IEEE
This paper reviews the present status and current developments of the Electronic Design Interchange Format, EDIF. After a review of the role EDIF has at present, some of the new ideas being developed for inclusion in the new release of EDIF (Version 2 1 0 ) are introduced.
متن کاملCharacterization of Boolean functions for rapid matching in EPGA technology mapping - Design Automation Conference, 1992. Proceedings., 29th ACM/IEEE
This paper i n i d m u s chanscierisiic signaimms for Boolean frndions. The signairns do noi ezhibii sensiiiviiy i o permridions of inpri variables. We we ihesc signairres io develop a meihd of mpidly maiching srbcircviis m*ih celb in a (large) libnsry. The procedmn id analogow i o baahing. This approad promww signi$xnZ improvements for Eibrorg mdching m*ih large libnriw, f o r ctample in EPGA ...
متن کاملAbstract data types and high-level synthesis - Design Automation Conference, 1990. Proceedings., 27th ACM/IEEE
Data Types and High-Level Synthesis Gregory S. Whitcomb A. Richard Newton Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, Berkeley, CA, 94720
متن کاملIncremental circuit simulation using waveform relaxation - Design Automation Conference, 1992. Proceedings., 29th ACM/IEEE
In this paper, two algorithms are developed using waveform relaxation for the rapid re-simulation of circuits that have been modified slightly compared to a previous simulation run. Both local and global changes can be handled so long as the changes are relatively small. In this approach, the window sizes, step sizes, and final waveforms from a previous simulation are used to drive the incremen...
متن کامل